منابع مشابه
Synonymous Logics: A Correction
In a paper devoted to problems of synonymy and translation between modal logics [2], the authors attempted to show that there are two modal logics so that each is exactly translatable into the other, but they are not translationally equivalent. Unfortunately, there is an error in the proof of Theorem 4.7 of this paper, that purports to prove this result, as Lloyd Humberstone discovered [1]. In ...
متن کاملSynonymous Logics
Sometimes we have a feeling that two people or groups are \talking past one another." We feel, perhaps, that one is using a certain word A to mean X while the other uses A to mean Y, but this is compensated by the former using B to mean Y while the latter uses B to mean X. But since the people or groups don't recognize this { perhaps they can't recognize this { we see them as \doomed forever to...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملCorrection: Analysis of Synonymous Codon Usage Bias of Zika Virus and Its Adaption to the Hosts
[This corrects the article DOI: 10.1371/journal.pone.0166260.].
متن کاملCorrection: Species-Specific Codon Context Rules Unveil Non-Neutrality Effects of Synonymous Mutations
BACKGROUND Codon pair usage (codon context) is a species specific gene primary structure feature whose evolutionary and functional roles are poorly understood. The data available show that codon-context has direct impact on both translation accuracy and efficiency, but one does not yet understand how it affects these two translation variables or whether context biases shape gene evolution. ME...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2007
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-007-9062-2